This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Continue readingThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Continue readingThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Continue reading